perm filename MACRO2[S1,ALS] blob
sn#397870 filedate 1978-11-24 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 The macro for changing the ASSERT calls to ASSERTFAIL calls
C00005 ENDMK
C⊗;
The macro for changing the ASSERT calls to ASSERTFAIL calls
αXF ASSERT ('αβ⊗C(*ASSERT ('...',BOOLEAN) Replaced 11/24/78 ALS*)α⊗C⊗⊂ Insert note
2⊃⊗CαFASSERTαβ\IF NOTα⊗Cα(α β⊗C⊗⊂ Replace ASSERT with IF NOT and split line
3⊃αI THEN ASSERTFAIL (α⊗C⊗⊂ Insert THEN at start
4⊃αF'α⊗CαF',αβ\'α⊗Cα β)β⊗C⊗⊂ Find second ' delete , and split again
5⊃⊗B⊗Bαβ(αβ)α β⊗C⊗⊂ Back up prime ( and find ) and split again
6⊃αβxzmarkαβ⊗CαβMα↔α⊗C⊗⊂ MARK split piece and back to (
7⊃αβA⊗CαβEα⊗TαDα⊗C⊗⊂ Attach move +1 join next piece
8⊃⊗BαβAαMαβEα⊗TαDα⊗C⊗⊂ Back ATTACH move to mark join
9⊃⊗Bα⊗TαD⊗C⊗;
The macro for changing ASSERTFAIL calls back to ASSERT calls
αXF (*ASSERT ('...',BOOLEAN) Replaced⊗C⊗⊂ Locate
2⊃αβD⊗⊂ Delete comment
3⊃αFIF NOT (αβ\ASSERT (,α⊗Cβ⊗C⊗⊂ Replace IF NOT with ASSERT, split at ,
4⊃αβXZMARKαβ⊗CαβM⊗⊂ MARK second piece
5⊃⊗Bαβ(αβ)αF THEN ASSERTFAIL (αβ\ α⊗C⊗⊂ Delete THEN ASSERTFAIL (
6⊃αDβ⊗CαF')αβ\'α⊗Cα β⊗Cα⊗C⊗⊂ Split line FIND ') delete ) and split again
7⊃αβA⊗BαβE⊗Bα⊗TαD⊗C⊗⊂ Join 1st and 3rd pieces
8⊃αβAαMαβE⊗Bα⊗TαDα⊗TαD⊗C⊗; ATTACH, move middle section and join
THEN ASSERT ('ZZZ(,)ZZZ',BOOLEAN
MORE BOOLEAN
STILL MORE)(*POSSIBLE COMMENT*);
ELSE ASSERT ('ZZZ(,)ZZZ',BOOLEAN)
THEN ASSERT ('ZZZ(,)ZZZ',BOOLEAN
MORE BOOLEAN
STILL MORE)
THEN ASSERT ('ZZZ(,)ZZZ',BOOLEAN);